Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems
نویسندگان
چکیده
Monitoring in embedded system software can have several uses, ranging from system characterization to run-time verification (RV). Traditional monitoring techniques require code instrumentation, imposing an overhead on system execution both in performance and timeliness. In real-time systems this is exarcebated by the need of new worst-case execution time estimation and schedulability analysis. In this paper we discuss how monitoring can be exploited in real-time embedded operating systems, via non-intrusive mechanisms.
منابع مشابه
A Non-Intrusive Fault Tolerant Framework For Mission Critical Real-Time Systems
The need for dependable real-time systems for embedded application is growing, and, at the same time, so does the amount of functionality required from these systems. As testing can only show the presence of errors, not their absence, higher levels of system dependability may be provided by the implementation of mechanisms that can protect the system from faults. We present a framework for the ...
متن کاملDesign for Deterministic Monitoring
In order to test, or debug, a system we must observe its run-time behavior and deem how well the observations comply with the system requirements. There are two significant differences between debugging and testing of software for desktop computers and embedded real-time systems: (1) It is more difficult to observe embedded computer systems, simply because they are embedded, and that they thus ...
متن کاملA real-time non-intrusive FPGA-based drowsiness detection system
Automotive has gained several benefits from the Ambient Intelligent researches involving the deployment of sensors and hardware devices into an intelligent environment surrounding people, meeting users’ requirements and anticipating their needs. One of the main topics in automotive is to anticipate driver needs and safety, in terms of preventing critical and dangerous events. Considering the hi...
متن کاملRuntime verification and monitoring of embedded systems
Ensuring the correctness of software applications is a difficult task. The area of runtime verification, which combines the approaches of formal verification and testing, offers a practical but limited solution that can help in finding many errors in software. Runtime verification relies upon tools for monitoring software execution. There are particular difficulties with regard to monitoring em...
متن کاملNon-Intrusive Hardware/Software Monitoring for Single- and Multiprocessor Real-Time Systems
Run-time observability in hardware and software is a requirement for testing and debugging any computer system. In real-time systems, and in particular distributed such, it is however difficult to obtain observability without altering the system’s timing behaviour. Monitoring techniques using passive hardware have been used to extract software execution traces non-instrusively to the system. Ho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014